IS ANATOMICAL DESCRIPTION SUFFICIENTLY CONSTRUCTIVE ?

Constructive Description Logics Hybrid-Style

Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC (for intuitionistic ALC, since ALC is the name of the canonical description logic system) and provide axioms, a Natural Deduction formulation and a sequent calculus for it. The system iALC is related...

Completely Analytical Interactions : Constructive Description

An interaction U is called a completely analytical (CA) interaction, if it satisfies one of 12 given conditions formulated in terms of analyticity properties of the partition functions Zv(U), or correlation decay, or truncated correlation bounds, or asymptotic behavior of in Zv(U), V-, oo. The 12 conditions are presented, together with part of the proof of their equivalence. The main result of ...

Constructive Description Logics: what, why and how

This note discusses possible conceptions of constructive description logics. We discuss why different communities should be interested in constructive description logics, why so little work has been done on this before and why we think it is important. Our goal is a system of constructive contexted description logic, whose contexts are inspired by Guha-McCarthy’s ideas along the lines of the sy...

Japanese encephalitis vaccine: is it being sufficiently used in travellers?

A note on constructive semantics for description logics

Following the approaches and motivations given in recent works about constructive interpretation of description logics, we introduce the constructive description logic KALC. This logic is based on a Kripke-style semantics inspired by the Kripke semantics for Intuitionistic first order logic. In the paper we present the main features of our semantics and we study its relations with other approac...